Revision: tla-tools--devo--0--patch-21
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Sat Jan 31 01:11:14 JST 2004
Standard-date: 2004-01-30 16:11:14 GMT
Modified-files: tagline-funs.awk tla-tools-funs.awk
    tla-update-ids.shpp
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-21
Summary: Add header checking for identifying tagline types in tla-update-ids

